More from this Author
Found 3 books by Anna Philippou (Editor)

Tools and Algorithms for the Construction and Analysis of Systems
by Stefan Kowalewski (Editor), Anna Philippou (Editor)

FM 2016: Formal Methods
by John Fitzgerald (Editor), Constance Heitmeyer (Editor), Stefania Gnesi (Editor), Anna Philippou (Editor)

Tools and Algorithms for the Construction and Analysis of Systems
by Stefan Kowalewski (Editor), Anna Philippou (Editor)